type A = string | number => boolean;
